Paula Neeley; "A Formalization of Dynamic Epistemic Logic" - Internet Explorer 2.0

Paula Neeley; "A Formalization of Dynamic Epistemic Logic"

https://paulaneeley.com/wp-content/uploads/2021/05/draft1.pdf

実装: https://github.com/paulaneeley/modal